public class Conjunct {
    Term term;
    int choice;
    int cutIndex;
    
    public Conjunct(Term term, int cutIndex) {
        this(term,0,cutIndex);
    }
    
    public Conjunct(Term term, int choice, int cutIndex) {
        this.term = term;
        this.choice = choice;
        this.cutIndex = cutIndex;
    }
    
    public Conjunct increment() {
        return new Conjunct(term,1+choice,cutIndex);
    }
}

